Knihy od autora Thomas A. Henzinger

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Handbook of Model Checking

   Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith | Springer International Publishing AG, 2018

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   144.31 €

   Zľava 7 %

   Ušetríte 12.09 €

   Kúpiť
2. 

   Handbook of Model Checking

   Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem | Springer Nature Switzerland AG, 2019

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Brožovaná

   158.60 €

   Kúpiť
3. 

   Embedded Software

   Thomas A. Henzinger, Christoph M. Kirsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
4. 

   Formal Modeling and Analysis of Timed Systems

   Krishnendu Chatterjee, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 14 - 21 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.14 €

   Kúpiť
5. 

   Mathematical and Engineering Methods in Computer Science

   Antonin Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomas Vojnar | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
6. 

   Computer Science Logic

   Jacques Duparc, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   103.16 €

   Zľava 7 %

   Ušetríte 8.64 €

   Kúpiť
7. 

   Computational Methods in Systems Biology

   Ashutosh Gupta, Thomas A. Henzinger | Springer, Berlin, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
8. 

   Hybrid Systems III

   Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag | Springer, Berlin, 1996

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   103.16 €

   Zľava 7 %

   Ušetríte 8.64 €

   Kúpiť
9. 

   Hybrid Systems: Computation and Control

   Thomas A. Henzinger, Shankar S. Sastry | Springer, Berlin, 1998

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť

Returning customers have discounts and benefits. Find out more